s:QOSet. Preorder(|s|;a,b.a  b) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	t  T, True, T, x:A. B(x), x,y. t(x;y), Preorder(T;x,y.R(x;y)), P  Q, SqStable(P), QOSet, x(s1,s2), DSet
Lemmas	qoset wf, sq stable trans, decidable set leq, sq stable from decidable, sq stable refl, trans wf, set leq wf, set car wf, refl wf, sq stable and